package tests.inter;

public class Test4 {

	private Test4 f1;
	private Test4 f2;
	
	public static void test_04() {
		Test4 z = new Test4();
		//cambiamos z.m1(null); por las siguientes dos líneas
		//porque asumimos que los call reciben siempre variables
		//el ejemplo es equivalente al dado
		Test4 nil = null;
		z.m1(nil);
		z.m1(z);
		// z.f1 maybe null ? EJ3->SI, EJ4->NO // en realidad es SI para los dos, confirmado por Diego
		// z.f1 may-alias z ? SI
		// z.f2 may-alias z ? NO
	}
	
	public void m1(Test4 p) {
		this.f1 = p;
	}
	
}
